EV71 and attenuated Japanese encephalitis vaccine